Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
641	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
642	Eﬃcient parameter estimation and implementation of a contour integral-based eigensolver Tetsuya Sakurai†,‡ , Yasunori Futamura† and Hiroto Tadano† † Department of Computer Science, University of Tsukuba ‡ Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2012-11-23 21:59:18 Numerical linear algebra Matrix theory Spectral theory Functional analysis Eigenvalue algorithm Eigenvalues and eigenvectors Spectrum Gaussian quadrature Singular value decomposition Algebra Linear algebra Mathematics
643	Combinatorial and algebraic tools for optimal multilevel algorithms Ioannis Koutis CMU-CSMay 2007 Add to Reading List Source URL: ccom.uprrp.edu Language: English - Date: 2011-03-02 23:57:45 Theoretical computer science Preconditioner Multigrid method Planar graph Graph theory Mathematics Numerical linear algebra
644	Febrl – A Freely Available Record Linkage System with a Graphical User Interface Peter Christen Department of Computer Science, The Australian National University Canberra ACT 0200, Australia Email: peter.christen@anu. Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:38 Record linkage Information Data Machines Mechanisms Business intelligence Linkage Data cleansing Database index Data management Mechanical engineering Computer algebra
645	Shallow Parsing with Conditional Random Fields Fei Sha and Fernando Pereira Department of Computer and Information Science University of Pennsylvania 200 South 33rd Street, Philadelphia, PAfeisha\|pereira)@cis.upe Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2004-09-12 22:18:04 Numerical linear algebra Machine learning Conditional random field Theoretical computer science Statistical classification Perceptron Linear classifier Limited-memory BFGS Preconditioner Statistics Mathematics Applied mathematics
646	WINGS ACCOUNTING INTERFACE ( V E R SI O NG ENERAL The Wings Accounting Interface (WAI) is conceived as a COM Automation Server. This implies that it supports dual interfaces, in other words both early and late bin Add to Reading List Source URL: www.wings.be Language: English - Date: 2013-12-03 09:14:52 Boolean algebra Boolean data type Computer programming Q Constructor Software engineering Data types Computing
647	Microsoft Word - Del2.2.doc Add to Reading List Source URL: www.semseg.eu Language: English - Date: 2011-06-18 18:54:06 Differential topology Vector calculus Tensors Computer vision Image processing Height ridge Vector field Flux Ridge Algebra Linear algebra Mathematics
648	MITFallLecture 4 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:10 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Number Function Exponentiation Polynomial Mathematics Mathematical software Science
649	Impact of OpenMP Optimizations for the MGCG Method Osamu Tatebe, Mitsuhisa Sato, Satoshi Sekiguchi Electrotechnical Laboratory, RWCP Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2000-11-02 09:11:38 Parallel computing Numerical linear algebra Fortran OpenMP Multigrid method Barrier Preconditioner Conjugate gradient method Open64 Computing Computer programming Software
650	Revisit of Monte Carlo Methods on Solving LargeScale Linear Systems YAOHANG LI, PH.D. DEPARTMENT OF COMPUTER SCIENCE OLD DOMINION UNIVERSITY Add to Reading List Source URL: math.nist.gov Language: English - Date: 2014-11-05 16:44:51 Matrix theory Numerical linear algebra Matrix Krylov subspace Eigenvalues and eigenvectors John von Neumann Determinant Singular value decomposition Eigendecomposition of a matrix Algebra Mathematics Linear algebra

UPDATE